Following
Minoru
@minoru@functional.cafe
Ivan Čukić
@ivan@functional.cafe
Andrew Tropin
@abcdw@fosstodon.org
Oliver Dunkl
@odi@functional.cafe
Anil Dash
@anildash@me.dm
Joe
@hungryjoe@functional.cafe
Dmitrii Kovanikov
@chshersh@functional.cafe
Andres Löh
@kosmikus@functional.cafe
arialdo
@arialdo@mastodon.online
Lean
@leanprover@functional.cafe